[INFO] cloning repository https://github.com/david-a-wheeler/metamath-knife
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/david-a-wheeler/metamath-knife" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fdavid-a-wheeler%2Fmetamath-knife", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fdavid-a-wheeler%2Fmetamath-knife'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] d63e26b5ca449f187214d3421fe5440725c331f8
[INFO] checking david-a-wheeler/metamath-knife against master#158f00a1c5175648af6f6099b075f78d1d014a28 for pr-121251
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fdavid-a-wheeler%2Fmetamath-knife" "/workspace/builds/worker-6-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-6-tc1/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/david-a-wheeler/metamath-knife on toolchain 158f00a1c5175648af6f6099b075f78d1d014a28
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+158f00a1c5175648af6f6099b075f78d1d014a28" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking git repo https://github.com/david-a-wheeler/metamath-knife
[INFO] finished tweaking git repo https://github.com/david-a-wheeler/metamath-knife
[INFO] tweaked toml for git repo https://github.com/david-a-wheeler/metamath-knife written to /workspace/builds/worker-6-tc1/source/Cargo.toml
[INFO] crate git repo https://github.com/david-a-wheeler/metamath-knife already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+158f00a1c5175648af6f6099b075f78d1d014a28" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded yansi-term v0.1.2
[INFO] [stderr]   Downloaded simple_logger v1.16.0
[INFO] [stderr]   Downloaded typed-arena v2.0.2
[INFO] [stderr]   Downloaded filetime v0.2.21
[INFO] [stderr]   Downloaded colored v1.9.3
[INFO] [stderr]   Downloaded annotate-snippets v0.9.1
[INFO] [stderr]   Downloaded xml-rs v0.8.14
[INFO] [stderr]   Downloaded dot-writer v0.1.3
[INFO] [stderr]   Downloaded time v0.3.21
[INFO] [stderr]   Downloaded serde v1.0.163
[INFO] [stderr]   Downloaded regex v1.8.3
[INFO] [stderr]   Downloaded regex-syntax v0.7.2
[INFO] [stderr]   Downloaded libc v0.2.144
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+158f00a1c5175648af6f6099b075f78d1d014a28" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 7b76f9dfd9bf58219024b865313e4927c8eddb52e46fa50462bbcfdd89433876
[INFO] running `Command { std: "docker" "start" "-a" "7b76f9dfd9bf58219024b865313e4927c8eddb52e46fa50462bbcfdd89433876", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "7b76f9dfd9bf58219024b865313e4927c8eddb52e46fa50462bbcfdd89433876", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "7b76f9dfd9bf58219024b865313e4927c8eddb52e46fa50462bbcfdd89433876", kill_on_drop: false }`
[INFO] [stdout] 7b76f9dfd9bf58219024b865313e4927c8eddb52e46fa50462bbcfdd89433876
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+158f00a1c5175648af6f6099b075f78d1d014a28" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] cf3725ca793897f76717da956c4c0ced54bdaa9f0cd80ecbd34d85647121690c
[INFO] running `Command { std: "docker" "start" "-a" "cf3725ca793897f76717da956c4c0ced54bdaa9f0cd80ecbd34d85647121690c", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.144
[INFO] [stderr]    Compiling memchr v2.5.0
[INFO] [stderr]    Compiling log v0.4.18
[INFO] [stderr]     Checking unicode-width v0.1.10
[INFO] [stderr]     Checking regex-syntax v0.7.2
[INFO] [stderr]     Checking either v1.8.1
[INFO] [stderr]     Checking cfg-if v1.0.0
[INFO] [stderr]     Checking yansi-term v0.1.2
[INFO] [stderr]     Checking tinyvec v1.6.0
[INFO] [stderr]     Checking time-core v0.1.1
[INFO] [stderr]     Checking num_threads v0.1.6
[INFO] [stderr]     Checking fnv v1.0.7
[INFO] [stderr]     Checking itoa v1.0.6
[INFO] [stderr]     Checking typed-arena v2.0.2
[INFO] [stderr]     Checking lazy_static v1.4.0
[INFO] [stderr]     Checking ansi_term v0.12.1
[INFO] [stderr]     Checking strsim v0.8.0
[INFO] [stderr]     Checking bitflags v1.3.2
[INFO] [stderr]     Checking vec_map v0.8.2
[INFO] [stderr]     Checking assert_matches v1.5.0
[INFO] [stderr]     Checking textwrap v0.11.0
[INFO] [stderr]     Checking annotate-snippets v0.9.1
[INFO] [stderr]     Checking itertools v0.12.0
[INFO] [stderr]     Checking aho-corasick v1.0.1
[INFO] [stderr]     Checking atty v0.2.14
[INFO] [stderr]     Checking filetime v0.2.21
[INFO] [stderr]     Checking time v0.3.21
[INFO] [stderr]     Checking colored v1.9.3
[INFO] [stderr]     Checking clap v2.34.0
[INFO] [stderr]     Checking regex v1.8.3
[INFO] [stderr]     Checking simple_logger v1.16.0
[INFO] [stderr]     Checking metamath-rs v0.3.6 (/opt/rustwide/workdir/metamath-rs)
[INFO] [stderr]     Checking metamath-knife v0.3.6 (/opt/rustwide/workdir/metamath-knife)
[INFO] [stderr]     Finished `dev` profile [optimized + debuginfo] target(s) in 2.71s
[INFO] running `Command { std: "docker" "inspect" "cf3725ca793897f76717da956c4c0ced54bdaa9f0cd80ecbd34d85647121690c", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "cf3725ca793897f76717da956c4c0ced54bdaa9f0cd80ecbd34d85647121690c", kill_on_drop: false }`
[INFO] [stdout] cf3725ca793897f76717da956c4c0ced54bdaa9f0cd80ecbd34d85647121690c
[INFO] checking david-a-wheeler/metamath-knife against try#b4fc5dbf0bc33be331f9d893db5b3a794f29724a+rustflags=-Dexplicit_range -Dtrait_impl_range -Wrange_syntax -Wrange_bounds for pr-121251
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fdavid-a-wheeler%2Fmetamath-knife" "/workspace/builds/worker-6-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-6-tc2/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/david-a-wheeler/metamath-knife on toolchain b4fc5dbf0bc33be331f9d893db5b3a794f29724a
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+b4fc5dbf0bc33be331f9d893db5b3a794f29724a" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking git repo https://github.com/david-a-wheeler/metamath-knife
[INFO] finished tweaking git repo https://github.com/david-a-wheeler/metamath-knife
[INFO] tweaked toml for git repo https://github.com/david-a-wheeler/metamath-knife written to /workspace/builds/worker-6-tc2/source/Cargo.toml
[INFO] crate git repo https://github.com/david-a-wheeler/metamath-knife already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+b4fc5dbf0bc33be331f9d893db5b3a794f29724a" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+b4fc5dbf0bc33be331f9d893db5b3a794f29724a" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] a435091c8fff2f706edd4370b16d41735ade32ebb22040e3bf95bd0cd727058a
[INFO] running `Command { std: "docker" "start" "-a" "a435091c8fff2f706edd4370b16d41735ade32ebb22040e3bf95bd0cd727058a", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "a435091c8fff2f706edd4370b16d41735ade32ebb22040e3bf95bd0cd727058a", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "a435091c8fff2f706edd4370b16d41735ade32ebb22040e3bf95bd0cd727058a", kill_on_drop: false }`
[INFO] [stdout] a435091c8fff2f706edd4370b16d41735ade32ebb22040e3bf95bd0cd727058a
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid -Dexplicit_range -Dtrait_impl_range -Wrange_syntax -Wrange_bounds" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+b4fc5dbf0bc33be331f9d893db5b3a794f29724a" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] da144710886026e641f4a3e2b13fb4d206816a39447f1fe1165f3f28e51031e6
[INFO] running `Command { std: "docker" "start" "-a" "da144710886026e641f4a3e2b13fb4d206816a39447f1fe1165f3f28e51031e6", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.144
[INFO] [stderr]    Compiling memchr v2.5.0
[INFO] [stderr]     Checking unicode-width v0.1.10
[INFO] [stderr]    Compiling log v0.4.18
[INFO] [stderr]     Checking regex-syntax v0.7.2
[INFO] [stderr]     Checking yansi-term v0.1.2
[INFO] [stderr]     Checking either v1.8.1
[INFO] [stderr]     Checking cfg-if v1.0.0
[INFO] [stderr]     Checking fnv v1.0.7
[INFO] [stderr]     Checking tinyvec v1.6.0
[INFO] [stderr]     Checking typed-arena v2.0.2
[INFO] [stderr]     Checking itoa v1.0.6
[INFO] [stderr]     Checking num_threads v0.1.6
[INFO] [stderr]     Checking lazy_static v1.4.0
[INFO] [stderr]     Checking time-core v0.1.1
[INFO] [stderr]     Checking ansi_term v0.12.1
[INFO] [stderr]     Checking bitflags v1.3.2
[INFO] [stderr]     Checking strsim v0.8.0
[INFO] [stderr]     Checking vec_map v0.8.2
[INFO] [stderr]     Checking textwrap v0.11.0
[INFO] [stderr]     Checking assert_matches v1.5.0
[INFO] [stderr]     Checking annotate-snippets v0.9.1
[INFO] [stderr]     Checking itertools v0.12.0
[INFO] [stderr]     Checking aho-corasick v1.0.1
[INFO] [stderr]     Checking atty v0.2.14
[INFO] [stderr]     Checking filetime v0.2.21
[INFO] [stderr]     Checking time v0.3.21
[INFO] [stderr]     Checking colored v1.9.3
[INFO] [stderr]     Checking clap v2.34.0
[INFO] [stderr]     Checking regex v1.8.3
[INFO] [stderr]     Checking simple_logger v1.16.0
[INFO] [stderr]     Checking metamath-rs v0.3.6 (/opt/rustwide/workdir/metamath-rs)
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> metamath-rs/src/bit_set.rs:146:22
[INFO] [stdout]     |
[INFO] [stdout] 146 |             for i in 0..rtail.len() {
[INFO] [stdout]     |                      ^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: requested on the command line with `-W range-syntax`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]   --> metamath-rs/src/segment.rs:98:32
[INFO] [stdout]    |
[INFO] [stdout] 98 |         SegmentIter(self.order[start..end].iter())
[INFO] [stdout]    |                                ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> metamath-rs/src/segment.rs:322:49
[INFO] [stdout]     |
[INFO] [stdout] 322 |             slice_iter: self.segment.statements[start as usize..end].iter(),
[INFO] [stdout]     |                                                 ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]    --> metamath-rs/src/segment_set.rs:286:66
[INFO] [stdout]     |
[INFO] [stdout] 286 |                     if let Some(chap) = find_chapter_header(&buf[sstart..]) {
[INFO] [stdout]     |                                                                  ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> metamath-rs/src/segment_set.rs:287:36
[INFO] [stdout]     |
[INFO] [stdout] 287 |                         parts.push(sstart..sstart + chap);
[INFO] [stdout]     |                                    ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> metamath-rs/src/segment_set.rs:290:36
[INFO] [stdout]     |
[INFO] [stdout] 290 |                         parts.push(sstart..buf.len());
[INFO] [stdout]     |                                    ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> metamath-rs/src/segment_set.rs:295:28
[INFO] [stdout]     |
[INFO] [stdout] 295 |                 parts.push(0..buf.len());
[INFO] [stdout]     |                            ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> metamath-rs/src/segment_set.rs:300:44
[INFO] [stdout]     |
[INFO] [stdout] 300 |                 let partbuf = if range == (0..buf.len()) {
[INFO] [stdout]     |                                            ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> metamath-rs/src/segment_set.rs:472:25
[INFO] [stdout]     |
[INFO] [stdout] 472 |         let mut old_r = 0..old_segs.len();
[INFO] [stdout]     |                         ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> metamath-rs/src/segment_set.rs:473:25
[INFO] [stdout]     |
[INFO] [stdout] 473 |         let mut new_r = 0..new_segs.len();
[INFO] [stdout]     |                         ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> metamath-rs/src/util.rs:112:24
[INFO] [stdout]     |
[INFO] [stdout] 112 |             || &buffer[midp + 1..midp + 1 + LANDING_STRIP.len()] != LANDING_STRIP
[INFO] [stdout]     |                        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]    --> metamath-rs/src/util.rs:141:30
[INFO] [stdout]     |
[INFO] [stdout] 141 |             buffer = &buffer[mix + 1..];
[INFO] [stdout]     |                              ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]    --> metamath-rs/src/comment_parser.rs:255:25
[INFO] [stdout]     |
[INFO] [stdout] 255 |             if self.buf[self.pos..].starts_with(b"</HTML>") {
[INFO] [stdout]     |                         ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]    --> metamath-rs/src/comment_parser.rs:263:28
[INFO] [stdout]     |
[INFO] [stdout] 263 |         } else if self.buf[self.pos..].starts_with(b"<HTML>") {
[INFO] [stdout]     |                            ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> metamath-rs/src/comment_parser.rs:290:18
[INFO] [stdout]     |
[INFO] [stdout] 290 |         self.buf[last_nl? + 1..self.pos]
[INFO] [stdout]     |                  ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]    --> metamath-rs/src/comment_parser.rs:308:34
[INFO] [stdout]     |
[INFO] [stdout] 308 |                 b'<' if self.buf[self.pos..].starts_with(b"<HTML>")
[INFO] [stdout]     |                                  ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]    --> metamath-rs/src/comment_parser.rs:309:33
[INFO] [stdout]     |
[INFO] [stdout] 309 |                     || self.buf[self.pos..].starts_with(b"</HTML>") =>
[INFO] [stdout]     |                                 ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> metamath-rs/src/comment_parser.rs:316:31
[INFO] [stdout]     |
[INFO] [stdout] 316 |         let label = &self.buf[label_start..self.pos];
[INFO] [stdout]     |                               ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> metamath-rs/src/bit_set.rs:146:22
[INFO] [stdout]     |
[INFO] [stdout] 146 |             for i in 0..rtail.len() {
[INFO] [stdout]     |                      ^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: requested on the command line with `-W range-syntax`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> metamath-rs/src/comment_parser.rs:617:40
[INFO] [stdout]     |
[INFO] [stdout] 617 |             10 => (&value[..1], &value[2..5], &value[6..]),
[INFO] [stdout]     |                                        ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]    --> metamath-rs/src/comment_parser.rs:617:54
[INFO] [stdout]     |
[INFO] [stdout] 617 |             10 => (&value[..1], &value[2..5], &value[6..]),
[INFO] [stdout]     |                                                      ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]   --> metamath-rs/src/segment.rs:98:32
[INFO] [stdout]    |
[INFO] [stdout] 98 |         SegmentIter(self.order[start..end].iter())
[INFO] [stdout]    |                                ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> metamath-rs/src/comment_parser.rs:618:40
[INFO] [stdout]     |
[INFO] [stdout] 618 |             11 => (&value[..2], &value[3..6], &value[7..]),
[INFO] [stdout]     |                                        ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> metamath-rs/src/segment.rs:322:49
[INFO] [stdout]     |
[INFO] [stdout] 322 |             slice_iter: self.segment.statements[start as usize..end].iter(),
[INFO] [stdout]     |                                                 ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]    --> metamath-rs/src/comment_parser.rs:618:54
[INFO] [stdout]     |
[INFO] [stdout] 618 |             11 => (&value[..2], &value[3..6], &value[7..]),
[INFO] [stdout]     |                                                      ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> metamath-rs/src/database.rs:244:22
[INFO] [stdout]     |
[INFO] [stdout] 244 |             for _ in 0..concurrency {
[INFO] [stdout]     |                      ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]    --> metamath-rs/src/segment_set.rs:286:66
[INFO] [stdout]     |
[INFO] [stdout] 286 |                     if let Some(chap) = find_chapter_header(&buf[sstart..]) {
[INFO] [stdout]     |                                                                  ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> metamath-rs/src/segment_set.rs:287:36
[INFO] [stdout]     |
[INFO] [stdout] 287 |                         parts.push(sstart..sstart + chap);
[INFO] [stdout]     |                                    ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> metamath-rs/src/segment_set.rs:290:36
[INFO] [stdout]     |
[INFO] [stdout] 290 |                         parts.push(sstart..buf.len());
[INFO] [stdout]     |                                    ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> metamath-rs/src/segment_set.rs:295:28
[INFO] [stdout]     |
[INFO] [stdout] 295 |                 parts.push(0..buf.len());
[INFO] [stdout]     |                            ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> metamath-rs/src/segment_set.rs:300:44
[INFO] [stdout]     |
[INFO] [stdout] 300 |                 let partbuf = if range == (0..buf.len()) {
[INFO] [stdout]     |                                            ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> metamath-rs/src/segment_set.rs:472:25
[INFO] [stdout]     |
[INFO] [stdout] 472 |         let mut old_r = 0..old_segs.len();
[INFO] [stdout]     |                         ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> metamath-rs/src/diag.rs:269:41
[INFO] [stdout]     |
[INFO] [stdout] 269 |             source: as_str(&source.text[source_start..source_end]),
[INFO] [stdout]     |                                         ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> metamath-rs/src/segment_set.rs:473:25
[INFO] [stdout]     |
[INFO] [stdout] 473 |         let mut new_r = 0..new_segs.len();
[INFO] [stdout]     |                         ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> metamath-rs/src/util.rs:112:24
[INFO] [stdout]     |
[INFO] [stdout] 112 |             || &buffer[midp + 1..midp + 1 + LANDING_STRIP.len()] != LANDING_STRIP
[INFO] [stdout]     |                        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]    --> metamath-rs/src/util.rs:141:30
[INFO] [stdout]     |
[INFO] [stdout] 141 |             buffer = &buffer[mix + 1..];
[INFO] [stdout]     |                              ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]    --> metamath-rs/src/comment_parser.rs:255:25
[INFO] [stdout]     |
[INFO] [stdout] 255 |             if self.buf[self.pos..].starts_with(b"</HTML>") {
[INFO] [stdout]     |                         ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeInclusive` range syntax
[INFO] [stdout]   --> metamath-rs/src/discouraged.rs:41:64
[INFO] [stdout]    |
[INFO] [stdout] 41 | ...                   steps += chunk.iter().filter(|ch| (b'A'..=b'T').contains(ch)).count();
[INFO] [stdout]    |                                                          ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]    --> metamath-rs/src/comment_parser.rs:263:28
[INFO] [stdout]     |
[INFO] [stdout] 263 |         } else if self.buf[self.pos..].starts_with(b"<HTML>") {
[INFO] [stdout]     |                            ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> metamath-rs/src/export.rs:224:22
[INFO] [stdout]     |
[INFO] [stdout] 224 |             for _ in 0..(spaces + indent[cur] - line.len() as u16) {
[INFO] [stdout]     |                      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> metamath-rs/src/comment_parser.rs:290:18
[INFO] [stdout]     |
[INFO] [stdout] 290 |         self.buf[last_nl? + 1..self.pos]
[INFO] [stdout]     |                  ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]    --> metamath-rs/src/comment_parser.rs:308:34
[INFO] [stdout]     |
[INFO] [stdout] 308 |                 b'<' if self.buf[self.pos..].starts_with(b"<HTML>")
[INFO] [stdout]     |                                  ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]    --> metamath-rs/src/comment_parser.rs:309:33
[INFO] [stdout]     |
[INFO] [stdout] 309 |                     || self.buf[self.pos..].starts_with(b"</HTML>") =>
[INFO] [stdout]     |                                 ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> metamath-rs/src/comment_parser.rs:316:31
[INFO] [stdout]     |
[INFO] [stdout] 316 |         let label = &self.buf[label_start..self.pos];
[INFO] [stdout]     |                               ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> metamath-rs/src/formula.rs:578:9
[INFO] [stdout]     |
[INFO] [stdout] 578 |         tos..n_tos
[INFO] [stdout]     |         ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> metamath-rs/src/comment_parser.rs:617:40
[INFO] [stdout]     |
[INFO] [stdout] 617 |             10 => (&value[..1], &value[2..5], &value[6..]),
[INFO] [stdout]     |                                        ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]    --> metamath-rs/src/comment_parser.rs:617:54
[INFO] [stdout]     |
[INFO] [stdout] 617 |             10 => (&value[..1], &value[2..5], &value[6..]),
[INFO] [stdout]     |                                                      ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> metamath-rs/src/comment_parser.rs:618:40
[INFO] [stdout]     |
[INFO] [stdout] 618 |             11 => (&value[..2], &value[3..6], &value[7..]),
[INFO] [stdout]     |                                        ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> metamath-rs/src/formula.rs:783:45
[INFO] [stdout]     |
[INFO] [stdout] 783 |             let children = self.stack.drain(reduce_start..reduce_end);
[INFO] [stdout]     |                                             ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]    --> metamath-rs/src/comment_parser.rs:618:54
[INFO] [stdout]     |
[INFO] [stdout] 618 |             11 => (&value[..2], &value[3..6], &value[7..]),
[INFO] [stdout]     |                                                      ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeInclusive` range syntax
[INFO] [stdout]   --> metamath-rs/src/grammar.rs:88:37
[INFO] [stdout]    |
[INFO] [stdout] 88 |             let slice = &mut self.0[from_node_id..=to_node_id];
[INFO] [stdout]    |                                     ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> metamath-rs/src/database.rs:244:22
[INFO] [stdout]     |
[INFO] [stdout] 244 |             for _ in 0..concurrency {
[INFO] [stdout]     |                      ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeInclusive` range syntax
[INFO] [stdout]   --> metamath-rs/src/grammar.rs:92:37
[INFO] [stdout]    |
[INFO] [stdout] 92 |             let slice = &mut self.0[to_node_id..=from_node_id];
[INFO] [stdout]    |                                     ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> metamath-rs/src/grammar.rs:685:24
[INFO] [stdout]     |
[INFO] [stdout] 685 |         for node_id in 0..len {
[INFO] [stdout]     |                        ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]    --> metamath-rs/src/grammar.rs:981:30
[INFO] [stdout]     |
[INFO] [stdout] 981 |         for token in &prefix[index..] {
[INFO] [stdout]     |                              ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]     --> metamath-rs/src/grammar.rs:1124:74
[INFO] [stdout]      |
[INFO] [stdout] 1124 | ...                   self.handle_common_prefixes(prefix, &shadows[1..], buf, db, names)
[INFO] [stdout]      |                                                                    ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> metamath-rs/src/diag.rs:269:41
[INFO] [stdout]     |
[INFO] [stdout] 269 |             source: as_str(&source.text[source_start..source_end]),
[INFO] [stdout]     |                                         ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]     --> metamath-rs/src/grammar.rs:1382:34
[INFO] [stdout]      |
[INFO] [stdout] 1382 |             let t = &self.string[span.start as usize..span.end as usize];
[INFO] [stdout]      |                                  ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]     --> metamath-rs/src/grammar.rs:1408:21
[INFO] [stdout]      |
[INFO] [stdout] 1408 |         let range = self.statement.math_start..self.statement.proof_start;
[INFO] [stdout]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]     --> metamath-rs/src/grammar.rs:1537:18
[INFO] [stdout]      |
[INFO] [stdout] 1537 |         for i in 0..self.nodes.len() {
[INFO] [stdout]      |                  ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]   --> metamath-rs/src/line_cache.rs:33:29
[INFO] [stdout]    |
[INFO] [stdout] 33 |         let mut page = &buf[0..PAGE];
[INFO] [stdout]    |                             ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]   --> metamath-rs/src/line_cache.rs:34:20
[INFO] [stdout]    |
[INFO] [stdout] 34 |         buf = &buf[PAGE..];
[INFO] [stdout]    |                    ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeInclusive` range syntax
[INFO] [stdout]   --> metamath-rs/src/discouraged.rs:41:64
[INFO] [stdout]    |
[INFO] [stdout] 41 | ...                   steps += chunk.iter().filter(|ch| (b'A'..=b'T').contains(ch)).count();
[INFO] [stdout]    |                                                          ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]   --> metamath-rs/src/line_cache.rs:43:30
[INFO] [stdout]    |
[INFO] [stdout] 43 |             for &ch in &page[0..128] {
[INFO] [stdout]    |                              ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]   --> metamath-rs/src/line_cache.rs:46:26
[INFO] [stdout]    |
[INFO] [stdout] 46 |             page = &page[128..];
[INFO] [stdout]    |                          ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> metamath-rs/src/export.rs:224:22
[INFO] [stdout]     |
[INFO] [stdout] 224 |             for _ in 0..(spaces + indent[cur] - line.len() as u16) {
[INFO] [stdout]     |                      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> metamath-rs/src/line_cache.rs:112:25
[INFO] [stdout]     |
[INFO] [stdout] 112 |         for &ch in &buf[offset / PAGE * PAGE..offset] {
[INFO] [stdout]     |                         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> metamath-rs/src/formula.rs:578:9
[INFO] [stdout]     |
[INFO] [stdout] 578 |         tos..n_tos
[INFO] [stdout]     |         ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> metamath-rs/src/formula.rs:783:45
[INFO] [stdout]     |
[INFO] [stdout] 783 |             let children = self.stack.drain(reduce_start..reduce_end);
[INFO] [stdout]     |                                             ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeInclusive` range syntax
[INFO] [stdout]   --> metamath-rs/src/grammar.rs:88:37
[INFO] [stdout]    |
[INFO] [stdout] 88 |             let slice = &mut self.0[from_node_id..=to_node_id];
[INFO] [stdout]    |                                     ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]    --> metamath-rs/src/outline.rs:523:64
[INFO] [stdout]     |
[INFO] [stdout] 523 |                         .add_to_tree(&mut tree, &sibling_stack[sibling_idx..]);
[INFO] [stdout]     |                                                                ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeInclusive` range syntax
[INFO] [stdout]   --> metamath-rs/src/grammar.rs:92:37
[INFO] [stdout]    |
[INFO] [stdout] 92 |             let slice = &mut self.0[to_node_id..=from_node_id];
[INFO] [stdout]    |                                     ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]    --> metamath-rs/src/outline.rs:539:56
[INFO] [stdout]     |
[INFO] [stdout] 539 |                 .add_to_tree(&mut tree, &sibling_stack[sibling_idx..]);
[INFO] [stdout]     |                                                        ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> metamath-rs/src/parser.rs:646:22
[INFO] [stdout]     |
[INFO] [stdout] 646 |         for index in 0..seg.statements.len() {
[INFO] [stdout]     |                      ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> metamath-rs/src/grammar.rs:685:24
[INFO] [stdout]     |
[INFO] [stdout] 685 |         for node_id in 0..len {
[INFO] [stdout]     |                        ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> metamath-rs/src/parser.rs:676:43
[INFO] [stdout]     |
[INFO] [stdout] 676 |                 let math = &seg.span_pool[stmt.math_start..stmt.proof_start];
[INFO] [stdout]     |                                           ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> metamath-rs/src/parser.rs:677:31
[INFO] [stdout]     |
[INFO] [stdout] 677 |                 for sindex in 0..math.len() {
[INFO] [stdout]     |                               ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> metamath-rs/src/parser.rs:690:35
[INFO] [stdout]     |
[INFO] [stdout] 690 |         let math = &seg.span_pool[stmt.math_start..stmt.proof_start];
[INFO] [stdout]     |                                   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]    --> metamath-rs/src/grammar.rs:981:30
[INFO] [stdout]     |
[INFO] [stdout] 981 |         for token in &prefix[index..] {
[INFO] [stdout]     |                              ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> metamath-rs/src/parser.rs:800:13
[INFO] [stdout]     |
[INFO] [stdout] 800 |     &buffer[index..eol]
[INFO] [stdout]     |             ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> metamath-rs/src/parser.rs:840:30
[INFO] [stdout]     |
[INFO] [stdout] 840 |                     for i in self.index + 2..self.buffer.len() - 1 {
[INFO] [stdout]     |                              ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]     --> metamath-rs/src/grammar.rs:1124:74
[INFO] [stdout]      |
[INFO] [stdout] 1124 | ...                   self.handle_common_prefixes(prefix, &shadows[1..], buf, db, names)
[INFO] [stdout]      |                                                                    ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> metamath-rs/src/parser.rs:940:26
[INFO] [stdout]     |
[INFO] [stdout] 940 |     let buffer = &buffer[0..cmp::min(500, buffer.len())];
[INFO] [stdout]     |                          ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]     --> metamath-rs/src/grammar.rs:1382:34
[INFO] [stdout]      |
[INFO] [stdout] 1382 |             let t = &self.string[span.start as usize..span.end as usize];
[INFO] [stdout]      |                                  ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]     --> metamath-rs/src/grammar.rs:1408:21
[INFO] [stdout]      |
[INFO] [stdout] 1408 |         let range = self.statement.math_start..self.statement.proof_start;
[INFO] [stdout]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> metamath-rs/src/proof.rs:616:35
[INFO] [stdout]     |
[INFO] [stdout] 616 |         let mut sorted_by_refs = (0..proof_ordered.len()).collect::<Vec<usize>>();
[INFO] [stdout]     |                                   ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]     --> metamath-rs/src/grammar.rs:1537:18
[INFO] [stdout]      |
[INFO] [stdout] 1537 |         for i in 0..self.nodes.len() {
[INFO] [stdout]      |                  ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]    --> metamath-rs/src/proof.rs:744:37
[INFO] [stdout]     |
[INFO] [stdout] 744 |             .write_str(&self.indent[(self.p.initial_chr + 2) as usize..])?;
[INFO] [stdout]     |                                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]   --> metamath-rs/src/line_cache.rs:33:29
[INFO] [stdout]    |
[INFO] [stdout] 33 |         let mut page = &buf[0..PAGE];
[INFO] [stdout]    |                             ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeInclusive` range syntax
[INFO] [stdout]    --> metamath-rs/src/proof.rs:777:18
[INFO] [stdout]     |
[INFO] [stdout] 777 |         for s in 0..=size {
[INFO] [stdout]     |                  ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]   --> metamath-rs/src/line_cache.rs:34:20
[INFO] [stdout]    |
[INFO] [stdout] 34 |         buf = &buf[PAGE..];
[INFO] [stdout]    |                    ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> metamath-rs/src/proof.rs:800:18
[INFO] [stdout]     |
[INFO] [stdout] 800 |         for _ in 0..self.indent {
[INFO] [stdout]     |                  ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]   --> metamath-rs/src/line_cache.rs:43:30
[INFO] [stdout]    |
[INFO] [stdout] 43 |             for &ch in &page[0..128] {
[INFO] [stdout]    |                              ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]   --> metamath-rs/src/line_cache.rs:46:26
[INFO] [stdout]    |
[INFO] [stdout] 46 |             page = &page[128..];
[INFO] [stdout]    |                          ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> metamath-rs/src/line_cache.rs:112:25
[INFO] [stdout]     |
[INFO] [stdout] 112 |         for &ch in &buf[offset / PAGE * PAGE..offset] {
[INFO] [stdout]     |                         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> metamath-rs/src/scopeck.rs:443:19
[INFO] [stdout]     |
[INFO] [stdout] 443 |             rump: 0..0,
[INFO] [stdout]     |                   ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> metamath-rs/src/scopeck.rs:515:29
[INFO] [stdout]     |
[INFO] [stdout] 515 |                     prefix: open_const..iframe.const_pool.len(),
[INFO] [stdout]     |                             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> metamath-rs/src/scopeck.rs:525:15
[INFO] [stdout]     |
[INFO] [stdout] 525 |         rump: open_const..iframe.const_pool.len(),
[INFO] [stdout]     |               ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]    --> metamath-rs/src/scopeck.rs:556:34
[INFO] [stdout]     |
[INFO] [stdout] 556 |         for &rightid in &var_ids[leftpos + 1..] {
[INFO] [stdout]     |                                  ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> metamath-rs/src/statement.rs:119:14
[INFO] [stdout]     |
[INFO] [stdout] 119 |         &buf[self.start as usize..self.end as usize]
[INFO] [stdout]     |              ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]    --> metamath-rs/src/outline.rs:523:64
[INFO] [stdout]     |
[INFO] [stdout] 523 |                         .add_to_tree(&mut tree, &sibling_stack[sibling_idx..]);
[INFO] [stdout]     |                                                                ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]    --> metamath-rs/src/outline.rs:539:56
[INFO] [stdout]     |
[INFO] [stdout] 539 |                 .add_to_tree(&mut tree, &sibling_stack[sibling_idx..]);
[INFO] [stdout]     |                                                        ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]    --> metamath-rs/src/statement.rs:313:24
[INFO] [stdout]     |
[INFO] [stdout] 313 |             buf = &buf[n + 2..];
[INFO] [stdout]     |                        ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]    --> metamath-rs/src/statement.rs:318:24
[INFO] [stdout]     |
[INFO] [stdout] 318 |             buf = &buf[n + 1..];
[INFO] [stdout]     |                        ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> metamath-rs/src/parser.rs:646:22
[INFO] [stdout]     |
[INFO] [stdout] 646 |         for index in 0..seg.statements.len() {
[INFO] [stdout]     |                      ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> metamath-rs/src/statement.rs:584:21
[INFO] [stdout]     |
[INFO] [stdout] 584 |         let range = self.statement.math_start..self.statement.proof_start;
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> metamath-rs/src/statement.rs:647:41
[INFO] [stdout]     |
[INFO] [stdout] 647 |         &self.segment.segment.span_pool[self.statement.proof_start..self.statement.proof_end]
[INFO] [stdout]     |                                         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> metamath-rs/src/parser.rs:676:43
[INFO] [stdout]     |
[INFO] [stdout] 676 |                 let math = &seg.span_pool[stmt.math_start..stmt.proof_start];
[INFO] [stdout]     |                                           ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> metamath-rs/src/parser.rs:677:31
[INFO] [stdout]     |
[INFO] [stdout] 677 |                 for sindex in 0..math.len() {
[INFO] [stdout]     |                               ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> metamath-rs/src/parser.rs:690:35
[INFO] [stdout]     |
[INFO] [stdout] 690 |         let math = &seg.span_pool[stmt.math_start..stmt.proof_start];
[INFO] [stdout]     |                                   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> metamath-rs/src/parser.rs:800:13
[INFO] [stdout]     |
[INFO] [stdout] 800 |     &buffer[index..eol]
[INFO] [stdout]     |             ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> metamath-rs/src/parser.rs:840:30
[INFO] [stdout]     |
[INFO] [stdout] 840 |                     for i in self.index + 2..self.buffer.len() - 1 {
[INFO] [stdout]     |                              ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> metamath-rs/src/verify.rs:200:9
[INFO] [stdout]     |
[INFO] [stdout] 200 |         tos..n_tos,
[INFO] [stdout]     |         ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> metamath-rs/src/parser.rs:940:26
[INFO] [stdout]     |
[INFO] [stdout] 940 |     let buffer = &buffer[0..cmp::min(500, buffer.len())];
[INFO] [stdout]     |                          ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> metamath-rs/src/verify.rs:205:13
[INFO] [stdout]     |
[INFO] [stdout] 205 |             tos..n_tos,
[INFO] [stdout]     |             ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]    --> metamath-rs/src/verify.rs:278:65
[INFO] [stdout]     |
[INFO] [stdout] 278 |             (Some(m), None) => (Some(&label[..m]), None, &label[m + 1..]),
[INFO] [stdout]     |                                                                 ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]    --> metamath-rs/src/verify.rs:279:65
[INFO] [stdout]     |
[INFO] [stdout] 279 |             (None, Some(n)) => (None, Some(&label[..n]), &label[n + 1..]),
[INFO] [stdout]     |                                                                 ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> metamath-rs/src/verify.rs:282:53
[INFO] [stdout]     |
[INFO] [stdout] 282 |                     (Some(&label[..m]), Some(&label[m + 1..n]), &label[n + 1..])
[INFO] [stdout]     |                                                     ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]    --> metamath-rs/src/verify.rs:282:72
[INFO] [stdout]     |
[INFO] [stdout] 282 |                     (Some(&label[..m]), Some(&label[m + 1..n]), &label[n + 1..])
[INFO] [stdout]     |                                                                        ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> metamath-rs/src/verify.rs:284:34
[INFO] [stdout]     |
[INFO] [stdout] 284 |                     (Some(&label[n + 1..m]), Some(&label[..n]), &label[n + 1..])
[INFO] [stdout]     |                                  ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]    --> metamath-rs/src/verify.rs:284:72
[INFO] [stdout]     |
[INFO] [stdout] 284 |                     (Some(&label[n + 1..m]), Some(&label[..n]), &label[n + 1..])
[INFO] [stdout]     |                                                                        ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> metamath-rs/src/proof.rs:616:35
[INFO] [stdout]     |
[INFO] [stdout] 616 |         let mut sorted_by_refs = (0..proof_ordered.len()).collect::<Vec<usize>>();
[INFO] [stdout]     |                                   ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> metamath-rs/src/verify.rs:335:13
[INFO] [stdout]     |
[INFO] [stdout] 335 |             old_top..new_top,
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]    --> metamath-rs/src/proof.rs:744:37
[INFO] [stdout]     |
[INFO] [stdout] 744 |             .write_str(&self.indent[(self.p.initial_chr + 2) as usize..])?;
[INFO] [stdout]     |                                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> metamath-rs/src/verify.rs:340:17
[INFO] [stdout]     |
[INFO] [stdout] 340 |                 old_top..new_top,
[INFO] [stdout]     |                 ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeInclusive` range syntax
[INFO] [stdout]    --> metamath-rs/src/proof.rs:777:18
[INFO] [stdout]     |
[INFO] [stdout] 777 |         for s in 0..=size {
[INFO] [stdout]     |                  ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> metamath-rs/src/verify.rs:378:33
[INFO] [stdout]     |
[INFO] [stdout] 378 |         if slice != &(*compare)[0..len] {
[INFO] [stdout]     |                                 ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> metamath-rs/src/proof.rs:800:18
[INFO] [stdout]     |
[INFO] [stdout] 800 |         for _ in 0..self.indent {
[INFO] [stdout]     |                  ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]    --> metamath-rs/src/verify.rs:381:32
[INFO] [stdout]     |
[INFO] [stdout] 381 |         *compare = &(*compare)[len..];
[INFO] [stdout]     |                                ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> metamath-rs/src/verify.rs:500:32
[INFO] [stdout]     |
[INFO] [stdout] 500 |         state.subst_info.push((0..0, Bitset::new()));
[INFO] [stdout]     |                                ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]    --> metamath-rs/src/verify.rs:532:45
[INFO] [stdout]     |
[INFO] [stdout] 532 |             for (ix, &ex) in explicit_stack[sbase..].iter().enumerate() {
[INFO] [stdout]     |                                             ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> metamath-rs/src/scopeck.rs:443:19
[INFO] [stdout]     |
[INFO] [stdout] 443 |             rump: 0..0,
[INFO] [stdout]     |                   ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]    --> metamath-rs/src/verify.rs:548:44
[INFO] [stdout]     |
[INFO] [stdout] 548 |             for (ix, ex) in explicit_stack[sbase..].iter().enumerate() {
[INFO] [stdout]     |                                            ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> metamath-rs/src/verify.rs:592:13
[INFO] [stdout]     |
[INFO] [stdout] 592 |             old_top..new_top,
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> metamath-rs/src/scopeck.rs:515:29
[INFO] [stdout]     |
[INFO] [stdout] 515 |                     prefix: open_const..iframe.const_pool.len(),
[INFO] [stdout]     |                             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> metamath-rs/src/verify.rs:597:19
[INFO] [stdout]     |
[INFO] [stdout] 597 |             expr: old_top..new_top,
[INFO] [stdout]     |                   ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> metamath-rs/src/scopeck.rs:525:15
[INFO] [stdout]     |
[INFO] [stdout] 525 |         rump: open_const..iframe.const_pool.len(),
[INFO] [stdout]     |               ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeInclusive` range syntax
[INFO] [stdout]    --> metamath-rs/src/verify.rs:704:21
[INFO] [stdout]     |
[INFO] [stdout] 704 |                 if (b'A'..=b'T').contains(&ch) {
[INFO] [stdout]     |                     ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]    --> metamath-rs/src/scopeck.rs:556:34
[INFO] [stdout]     |
[INFO] [stdout] 556 |         for &rightid in &var_ids[leftpos + 1..] {
[INFO] [stdout]     |                                  ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeInclusive` range syntax
[INFO] [stdout]    --> metamath-rs/src/verify.rs:709:28
[INFO] [stdout]     |
[INFO] [stdout] 709 |                 } else if (b'U'..=b'Y').contains(&ch) {
[INFO] [stdout]     |                            ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> metamath-rs/src/verify.rs:735:18
[INFO] [stdout]     |
[INFO] [stdout] 735 |         for i in 0..stmt.proof_len() {
[INFO] [stdout]     |                  ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]   --> metamath-rs/src/verify_markup.rs:95:63
[INFO] [stdout]    |
[INFO] [stdout] 95 |                         label.extend_from_slice(&stmt.label()[3..]);
[INFO] [stdout]    |                                                               ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> metamath-rs/src/statement.rs:119:14
[INFO] [stdout]     |
[INFO] [stdout] 119 |         &buf[self.start as usize..self.end as usize]
[INFO] [stdout]     |              ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> metamath-rs/src/verify_markup.rs:111:32
[INFO] [stdout]     |
[INFO] [stdout] 111 |                     for sp in (0..stmt.math_len()).map(|i| stmt.math_span(i)) {
[INFO] [stdout]     |                                ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]    --> metamath-rs/src/verify_markup.rs:301:48
[INFO] [stdout]     |
[INFO] [stdout] 301 |                         let count = seg.buffer[i..].iter().take_while(|&&c| c == b'\t').count();
[INFO] [stdout]     |                                                ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> metamath-rs/src/verify_markup.rs:302:34
[INFO] [stdout]     |
[INFO] [stdout] 302 |                         for _ in 1..count {
[INFO] [stdout]     |                                  ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> metamath-rs/src/verify_markup.rs:494:26
[INFO] [stdout]     |
[INFO] [stdout] 494 |                 for i in sp.start as usize..sp.end as usize {
[INFO] [stdout]     |                          ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]    --> metamath-rs/src/statement.rs:313:24
[INFO] [stdout]     |
[INFO] [stdout] 313 |             buf = &buf[n + 2..];
[INFO] [stdout]     |                        ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]    --> metamath-rs/src/statement.rs:318:24
[INFO] [stdout]     |
[INFO] [stdout] 318 |             buf = &buf[n + 1..];
[INFO] [stdout]     |                        ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> metamath-rs/src/statement.rs:584:21
[INFO] [stdout]     |
[INFO] [stdout] 584 |         let range = self.statement.math_start..self.statement.proof_start;
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> metamath-rs/src/statement.rs:647:41
[INFO] [stdout]     |
[INFO] [stdout] 647 |         &self.segment.segment.span_pool[self.statement.proof_start..self.statement.proof_end]
[INFO] [stdout]     |                                         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> metamath-rs/src/verify.rs:200:9
[INFO] [stdout]     |
[INFO] [stdout] 200 |         tos..n_tos,
[INFO] [stdout]     |         ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]   --> metamath-rs/src/util_tests.rs:33:26
[INFO] [stdout]    |
[INFO] [stdout] 33 |     s.extend_from_within(2..4);
[INFO] [stdout]    |                          ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> metamath-rs/src/verify.rs:205:13
[INFO] [stdout]     |
[INFO] [stdout] 205 |             tos..n_tos,
[INFO] [stdout]     |             ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]   --> metamath-rs/src/util_tests.rs:35:26
[INFO] [stdout]    |
[INFO] [stdout] 35 |     s.extend_from_within(0..1);
[INFO] [stdout]    |                          ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]   --> metamath-rs/src/util_tests.rs:37:26
[INFO] [stdout]    |
[INFO] [stdout] 37 |     s.extend_from_within(6..11);
[INFO] [stdout]    |                          ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]    --> metamath-rs/src/verify.rs:278:65
[INFO] [stdout]     |
[INFO] [stdout] 278 |             (Some(m), None) => (Some(&label[..m]), None, &label[m + 1..]),
[INFO] [stdout]     |                                                                 ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]    --> metamath-rs/src/verify.rs:279:65
[INFO] [stdout]     |
[INFO] [stdout] 279 |             (None, Some(n)) => (None, Some(&label[..n]), &label[n + 1..]),
[INFO] [stdout]     |                                                                 ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]   --> metamath-rs/src/util_tests.rs:46:26
[INFO] [stdout]    |
[INFO] [stdout] 46 |     s.extend_from_within(11..12);
[INFO] [stdout]    |                          ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> metamath-rs/src/verify.rs:282:53
[INFO] [stdout]     |
[INFO] [stdout] 282 |                     (Some(&label[..m]), Some(&label[m + 1..n]), &label[n + 1..])
[INFO] [stdout]     |                                                     ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]    --> metamath-rs/src/verify.rs:282:72
[INFO] [stdout]     |
[INFO] [stdout] 282 |                     (Some(&label[..m]), Some(&label[m + 1..n]), &label[n + 1..])
[INFO] [stdout]     |                                                                        ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> metamath-rs/src/verify.rs:284:34
[INFO] [stdout]     |
[INFO] [stdout] 284 |                     (Some(&label[n + 1..m]), Some(&label[..n]), &label[n + 1..])
[INFO] [stdout]     |                                  ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]    --> metamath-rs/src/verify.rs:284:72
[INFO] [stdout]     |
[INFO] [stdout] 284 |                     (Some(&label[n + 1..m]), Some(&label[..n]), &label[n + 1..])
[INFO] [stdout]     |                                                                        ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> metamath-rs/src/verify.rs:335:13
[INFO] [stdout]     |
[INFO] [stdout] 335 |             old_top..new_top,
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> metamath-rs/src/verify.rs:340:17
[INFO] [stdout]     |
[INFO] [stdout] 340 |                 old_top..new_top,
[INFO] [stdout]     |                 ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> metamath-rs/src/verify.rs:378:33
[INFO] [stdout]     |
[INFO] [stdout] 378 |         if slice != &(*compare)[0..len] {
[INFO] [stdout]     |                                 ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]    --> metamath-rs/src/verify.rs:381:32
[INFO] [stdout]     |
[INFO] [stdout] 381 |         *compare = &(*compare)[len..];
[INFO] [stdout]     |                                ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> metamath-rs/src/verify.rs:500:32
[INFO] [stdout]     |
[INFO] [stdout] 500 |         state.subst_info.push((0..0, Bitset::new()));
[INFO] [stdout]     |                                ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]    --> metamath-rs/src/verify.rs:532:45
[INFO] [stdout]     |
[INFO] [stdout] 532 |             for (ix, &ex) in explicit_stack[sbase..].iter().enumerate() {
[INFO] [stdout]     |                                             ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]    --> metamath-rs/src/verify.rs:548:44
[INFO] [stdout]     |
[INFO] [stdout] 548 |             for (ix, ex) in explicit_stack[sbase..].iter().enumerate() {
[INFO] [stdout]     |                                            ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> metamath-rs/src/verify.rs:592:13
[INFO] [stdout]     |
[INFO] [stdout] 592 |             old_top..new_top,
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> metamath-rs/src/verify.rs:597:19
[INFO] [stdout]     |
[INFO] [stdout] 597 |             expr: old_top..new_top,
[INFO] [stdout]     |                   ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeInclusive` range syntax
[INFO] [stdout]    --> metamath-rs/src/verify.rs:704:21
[INFO] [stdout]     |
[INFO] [stdout] 704 |                 if (b'A'..=b'T').contains(&ch) {
[INFO] [stdout]     |                     ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeInclusive` range syntax
[INFO] [stdout]    --> metamath-rs/src/verify.rs:709:28
[INFO] [stdout]     |
[INFO] [stdout] 709 |                 } else if (b'U'..=b'Y').contains(&ch) {
[INFO] [stdout]     |                            ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> metamath-rs/src/verify.rs:735:18
[INFO] [stdout]     |
[INFO] [stdout] 735 |         for i in 0..stmt.proof_len() {
[INFO] [stdout]     |                  ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]   --> metamath-rs/src/verify_markup.rs:95:63
[INFO] [stdout]    |
[INFO] [stdout] 95 |                         label.extend_from_slice(&stmt.label()[3..]);
[INFO] [stdout]    |                                                               ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> metamath-rs/src/verify_markup.rs:111:32
[INFO] [stdout]     |
[INFO] [stdout] 111 |                     for sp in (0..stmt.math_len()).map(|i| stmt.math_span(i)) {
[INFO] [stdout]     |                                ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]    --> metamath-rs/src/verify_markup.rs:301:48
[INFO] [stdout]     |
[INFO] [stdout] 301 |                         let count = seg.buffer[i..].iter().take_while(|&&c| c == b'\t').count();
[INFO] [stdout]     |                                                ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> metamath-rs/src/verify_markup.rs:302:34
[INFO] [stdout]     |
[INFO] [stdout] 302 |                         for _ in 1..count {
[INFO] [stdout]     |                                  ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> metamath-rs/src/verify_markup.rs:494:26
[INFO] [stdout]     |
[INFO] [stdout] 494 |                 for i in sp.start as usize..sp.end as usize {
[INFO] [stdout]     |                          ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeBounds` trait bound in public function
[INFO] [stdout]    --> metamath-rs/src/database.rs:821:21
[INFO] [stdout]     |
[INFO] [stdout] 821 |         range: impl RangeBounds<Label>,
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: requested on the command line with `-W range-bounds`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeBounds` trait bound in public function
[INFO] [stdout]    --> metamath-rs/src/database.rs:841:21
[INFO] [stdout]     |
[INFO] [stdout] 841 |         range: impl RangeBounds<StatementAddress>,
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: explicit usage of `Range` type in public function
[INFO] [stdout]    --> metamath-rs/src/proof.rs:366:15
[INFO] [stdout]     |
[INFO] [stdout] 366 |         expr: Range<usize>,
[INFO] [stdout]     |               ^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: requested on the command line with `-D explicit-range`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: explicit usage of `Range` type in public struct field
[INFO] [stdout]   --> metamath-rs/src/scopeck.rs:99:17
[INFO] [stdout]    |
[INFO] [stdout] 99 |     pub prefix: Range<usize>,
[INFO] [stdout]    |                 ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: explicit usage of `Range` type in public struct field
[INFO] [stdout]    --> metamath-rs/src/scopeck.rs:121:15
[INFO] [stdout]     |
[INFO] [stdout] 121 |     pub rump: Range<usize>,
[INFO] [stdout]     |               ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: explicit usage of `Range` type in public function
[INFO] [stdout]    --> metamath-rs/src/verify.rs:106:67
[INFO] [stdout]     |
[INFO] [stdout] 106 |     fn build(&mut self, _: StatementAddress, (): (), _: &[u8], _: Range<usize>) {}
[INFO] [stdout]     |                                                                   ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 4 previous errors; 90 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `metamath-rs` (lib) due to 5 previous errors; 90 warnings emitted
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] [stdout] warning: 92 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "da144710886026e641f4a3e2b13fb4d206816a39447f1fe1165f3f28e51031e6", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "da144710886026e641f4a3e2b13fb4d206816a39447f1fe1165f3f28e51031e6", kill_on_drop: false }`
[INFO] [stdout] da144710886026e641f4a3e2b13fb4d206816a39447f1fe1165f3f28e51031e6
